A.k.a constructive logic.
Systems of symbolic logic that are less like classical logic, and more like a mathematical proof.